Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
151	Expressive Languages for Path Queries over Graph-Structured Data Pablo Barcelo´ Carlos Hurtado Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-04-02 11:57:56 Metalogic Model theory Structure Universal algebra FO Probabilistically checkable proof String Data integration Conjunctive query Mathematics Formal languages Theoretical computer science
152	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
153	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
154	Formal Aspects of Computing: 1{000 c 1997 BCS Limits of Formal Methods Ralf Kneuper Add to Reading List Source URL: www.kneuper.de Language: English - Date: 2012-02-09 04:37:54 Theoretical computer science Science Formal languages Correctness Compiler construction Automated proof checking Formal proof Compiler Software development process Formal methods Mathematics Logic
155	Learning proofs from refutations Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Automated theorem proving Formal methods Logic in computer science ACL2 Lisp programming language Mathematical proof Isabelle Coq HOL Theoretical computer science Mathematical software Mathematics
156	Productive use of failure in formal methods Yuhui Lin, Gudmund Grov & Alan Bundy ARW Glasgow, 11 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Theoretical computer science Rippling Mathematical proof Proof Automated theorem proving Mathematics Logic
157	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics
158	How Does a Box Work? : Appendix. Formal proof of correctness of plan1 Ernest Davis∗ Dept. of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2008-09-05 15:58:57
159	Intro AI4FM project Models of “why” Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematical proof Knowledge Rippling Formal methods Logic Automated theorem proving Mathematics Mathematical logic
160	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics

UPDATE